大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Jim Gosling 的图书(共186本)

Presenting at Medical Meetings [electronic resource]

0
索取号：
作者：Reekers、 Jim A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Encyclopedia of Astrobiology [electronic resource]

0
索取号：
作者：Gargaud、 Muriel.、Amils、 Ricardo.、Quintanilla、 Jos茅 Cernicharo.、Cleaves、 Henderson James (Jim).、Irvine、 William M.、Pinti、 Daniele L.、Viso、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

0
索取号：
作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Collaborative Software Engineering [electronic resource]

0
索取号：
作者：Mistr铆k、 Ivan.、Grundy、 John.、Hoek、 Andr茅.、Whitehead、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tropical Rainforest Responses to Climatic Change [electronic resource]

0
索取号：
作者：Bush、 Mark.、Flenley、 John.、Gosling、 William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

0
索取号：
作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Quantitative Information Fusion for Hydrological Sciences [electronic resource]

0
索取号：
作者：Cai、 Xing.、Yeh、 T. -C. Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

0
索取号：
作者：George、 Chris W.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Artificial Intelligence in Medicine [electronic resource] : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings

0
索取号：
作者：Bellazzi、 Riccardo.、Abu-Hanna、 Ameen.、Hunter、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

0
索取号：
作者：Davies、 Jim.、Gibbons、 Jeremy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

0
索取号：
作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

0
索取号：
作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Combinatorial Stochastic Processes [electronic resource] : Ecole d鈥橢t茅 de Probabilit茅s de Saint-Flour XXXII 鈥ರ02

0
索取号：
作者：Pitman、 Jim.、Picard、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Euroschool Lectures on Physics with Exotic Beams, Vol. II [electronic resource]

0
索取号：
作者：Al-Khalili、 Jim.、Roeckl、 Ernst.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.